Theory of computation - PDFSEARCH.IO - Document Search Engine

Theory of computation
Results: 2087

#	Item
501	Capacity and Expressiveness of Genomic Tandem Duplication Siddharth Jain Farzad Farnoud (Hassanzadeh) Add to Reading List Source URL: www.paradise.caltech.edu Language: English - Date: 2015-02-26 18:45:52 Mathematics Combinatorics on words Theoretical computer science Models of computation String Substring Regular language Deterministic finite automaton Regular expression Formal languages Automata theory Combinatorics
502	Data-Parallel String-Manipulating Programs Margus Veanes Todd Mytkowicz David Molnar Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2014-10-28 21:15:16 Finite state transducer Mathematical analysis Theoretical computer science Ordinary differential equations Mathematics Classical cipher Obfuscated code Models of computation Spectral theory Automata theory
503	PRELIMINARY EXAMINATION GROUP IN LOGIC AND THE METHODOLOGY OF SCIENCE For the following questions we fix a standard enumeration h ϕe : e ∈ ω i of the partial recursive functions with the corresponding enumeration hWe Add to Reading List Source URL: logic.berkeley.edu Language: English Theory of computation Recursively enumerable set Enumeration Model theory Presentation of a group Ordinal number Ω-consistent theory Mathematics Mathematical logic Computability theory
504	Signal entropy and the thermodynamics of computation by N. Gershenfeld Electronic computers currently have many orders Add to Reading List Source URL: www.cba.mit.edu Language: English - Date: 2011-12-13 18:32:02 Philosophy of thermal and statistical physics State functions Non-equilibrium thermodynamics Models of computation Reversible computing Entropy Information theory Configuration entropy Second law of thermodynamics Thermodynamic entropy Thermodynamics Physics
505	Would a ‘Cyber Warrior’ Protect Us? Exploring Trade-offs Between Attack and Defense of Information Systems [Position Paper] Tyler Moore, Allan Friedman and Ariel D. Procaccia Center for Research on Computation & Soci Add to Reading List Source URL: www.nspw.org Language: English - Date: 2011-04-20 15:15:37 Problem solving Vulnerability Nash equilibrium Zero-day attack Social vulnerability Extensive-form game United States Cyber Command Sequential equilibrium Solution concept Game theory Cyberwarfare Computer security
506	Full reduction in the face of absurdity Gabriel Scherer, Didier R´emy Gallium – INRIA October 28, 2014 Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2014-10-28 06:28:38 Mathematical logic Computability theory Lambda calculus Proof theory Orbifold Natural deduction Theoretical computer science Models of computation Applied mathematics
507	FREE WILL—EVEN FOR ROBOTS John McCarthy Computer Science Department Stanford University Stanford, CA 94305, USA Add to Reading List Source URL: www-formal.stanford.edu Language: English - Date: 2002-03-26 18:13:58 Finite-state machine Nondeterministic finite automaton Computer chess Robot Chess Ω-automaton Automata theory Models of computation Games
508	Pushdown Control-Flow Analysis of Higher-Order Programs Christopher Earl David Van Horn ∗ Matthew Might Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2012-08-10 19:22:59 Symbol Structure Model theory Mathematics Logic Automata theory Models of computation Pushdown automaton
509	Is Anything Ever New? Considering Emergence James P. Crutchfield SFI WORKING PAPER: Add to Reading List Source URL: www.santafe.edu Language: English - Date: 2013-03-12 16:49:21 Structure Complex systems theory Cybernetics Models of computation Emergence Complexity Randomness Self-organization Dynamical systems theory Science Knowledge Systems
510	International Journal of Theoretical Physics, VoL 21, Nos. 6/7, 1982 Simulating Physics with Computers Richard P. Feynman Department of Physics, California Institute of Technology, Pasadena, CaliforniaReceived Ma Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2007-09-05 22:45:11 Models of computation Quantum algorithms Interpretations of quantum mechanics Quantum computer Introduction to quantum mechanics De Broglie–Bohm theory Spin Quantum circuit Quantum superposition Physics Quantum mechanics Quantum measurement

UPDATE